A group membership algorithm with a practical specification
نویسندگان
چکیده
منابع مشابه
A Group Membership Algorithm with a Practical Specification
ÐThis paper presents a solvable specification and gives an algorithm for the Group Membership Problem in asynchronous systems with crash failures. Our specification requires processes to maintain a consistent history in their sequences of views. This allows processes to order failures and recoveries in time and simplifies the programming of high level applications. Previous work has proven that...
متن کاملParametric Verification of a Group Membership Algorithm
We address the problem of verifying clique avoidance in the TTP protocol. TTP allows several stations embedded in a car to communicate. It has many mechanisms to ensure robustness to faults. In particular, it has an algorithm that allows a station to recognize itself as faulty and leave the communication. This algorithm must satisfy the crucial ’non-clique’ property: it is impossible to have tw...
متن کاملGroup membership protocol: specification and verification
According to the Evolving Algebra thesis [3], evolving algebras should allow one to specify succinctly any algorithm. There exists substantial evidence con rming this thesis in the case of sequential algorithms (see the annotated bibliography in [3]). In other papers, e.g., [1, 5], evolving algebras are used to specify distributed algorithms. For this paper, we wanted to look at a time-constrai...
متن کاملFormal Specification and Verification of a Group Membership Protocol for an Intrusion-Tolerant Group Communication System
We describe a group membership protocol that is part of an intrusion-tolerant group communication system, and present an effort to use formal tools to model and validate our protocol. We describe in detail the most difficult part of the validation exercise, which was the determination of the right level of abstraction of the protocol for formally specifying the protocol. The validation exercise...
متن کاملOn the Formal Specification of Group Membership Services
Programme 1 | Architectures parall eles, bases de donn ees, r eseaux et syst emes distribu es Projet REFLECS Abstract: The problem of group membership has been the focus of much theoretical and experimental work on fault-tolerant distributed systems. This has resulted in a voluminous literature and several formal speciications of this problem have been given. In this paper, we examine the two m...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Parallel and Distributed Systems
سال: 2001
ISSN: 1045-9219
DOI: 10.1109/71.969128